Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
๐Ÿ—๏ธCalculus of Constructions
From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.orgยท1d
๐Ÿ”—Category Theory
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.comยท3hยท
Discuss: r/rust
โšกPartial Evaluation
Demographic, genetic, neuroimaging, and behavioral correlates of short social responsiveness scale in a large pediatric cohort
nature.comยท19h
๐Ÿ“‹S-Expression
Iterated Development and Study of Schemers (IDSS)
lesswrong.comยท4h
๐ŸฐCapability Machines
P-adic numbers and kernels
arxiv.orgยท15h
๐ŸงฎCombinator Calculus
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Toy Binary Decision Diagrams
philipzucker.comยท4d
โœ…Type Checking
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐Ÿ”ML Language
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus